Hilbert class field

In algebraic number theory, the Hilbert class field E of a number field K is the maximal abelian unramified extension of K. Its degree over K equals the class number of K and the Galois group of E over K is canonically isomorphic to the ideal class group of K using Frobenius elements for prime ideals in K.

Note that in this context, the Hilbert class field of K is not just unramified at the finite places (the classical ideal theoretic interpretation) but also at the infinite places of K. That is, every real embedding of K extends to a real embedding of E (rather than to a complex embedding of E).

1 Examples
2 History
3 Additional properties
4 Explicit constructions
5 Generalizations
6 Notes
7 References

Examples

If the ring of integers of K is a unique factorization domain, in particular, if $K = \mathbb{Q}$ then K is its own Hilbert class field.

By contrast, let $K = \mathbb{Q}(\sqrt{-15})$ . By analyzing ramification degrees over $\mathbb{Q}$ , one can show that $L = \mathbb{Q}(\sqrt{-3}, \sqrt{5})$ is an everywhere unramified extension of K, and it is certainly abelian. Hence the Hilbert class field of K is a nontrivial extension and the ring of integers of K cannot be a unique factorization domain. (In fact, using the Minkowski bound, one can show that K has class number exactly 2.) Hence, the Hilbert class field is $L$ .

To see why ramification at the archimedean primes must be taken into account, consider the real quadratic field K obtained by adjoining the square root of 3 to Q. This field has class number 1, but the extension K(i)/K is unramified at all prime ideals in K, so K admits finite abelian extensions of degree greater than 1 in which all primes of K are unramified. This doesn't contradict the Hilbert class field of K being K itself: every proper finite abelian extension of K must ramify at some place, and in the extension K(i)/K there is ramification at the archimedean places: the real embeddings of K extend to complex (rather than real) embeddings of K(i).

History

The existence of a Hilbert class field for a given number field K was conjectured by David Hilbert and proved by Philipp Furtwängler.^[1] The existence of the Hilbert class field is a valuable tool in studying the structure of the ideal class group of a given field.

Additional properties

The Hilbert class field E also satisfies the following:

E is a finite Galois extension of K and [E : K]=h_K, where h_K is the class number of K.
The ideal class group of K is isomorphic to the Galois group of E over K.
Every ideal of O_K is a principal ideal of the ring extension O_E (principal ideal theorem).
Every prime ideal P of O_K decomposes into the product of h_K/f prime ideals in O_E, where f is the order of [P] in the ideal class group of O_K.

In fact, E is the unique field satisfying the first, second, and fourth properties.

Explicit constructions

If K is imaginary quadratic and A is an elliptic curve with complex multiplication by the ring of integers of K, then adjoining the j-invariant of A to K gives the Hilbert class field.^[2]

Generalizations

In class field theory, one studies the ray class field with respect to a given modulus, which is a formal product of prime ideals (including, possibly, archimedean ones). The ray class field is the maximal abelian extension unramified outside the primes dividing the modulus and satisfying a particular ramification condition at the primes dividing the modulus. The Hilbert class field is then the ray class field with respect to the trivial modulus 1.

The narrow class field is the Hilbert class field with respect to the modulus consisting of all infinite primes. For example, the argument above shows that $\mathbb{Q}(\sqrt{3}, i)$ is the narrow class field of $\mathbb{Q}(\sqrt{3})$ .

Notes

^ Furtwängler 1906
^ Theorem II.4.1 of Silverman 1994

References

Childress, Nancy (2009), Class field theory, New York: Springer, doi:10.1007/978-0-387-72490-4, ISBN 978-0-387-72489-8, MR 2462595
Furtwängler, Philipp (1906), "Allgemeiner Existenzbeweis für den Klassenkörper eines beliebigen algebraischen Zahlkörpers", Mathematische Annalen 63 (1): 1–37, doi:10.1007/BF01448421, JFM 37.0243.02, MR 1511392, http://gdz.sub.uni-goettingen.de/dms/load/toc/?PPN=PPN235181684_0063&DMDID=dmdlog7, retrieved 2009-08-21
J. S. Milne, Class Field Theory (Course notes available at http://www.jmilne.org/math/). See the Introduction chapter of the notes, especially p. 4.
Silverman, Joseph H. (1994), Advanced topics in the arithmetic of elliptic curves, Graduate Texts in Mathematics, 151, New York: Springer-Verlag, ISBN 9780387943251
Gras, Georges (second corrected printing 2005), Class field theory: From theory to practice, New York: Springer

This article incorporates material from Existence of Hilbert class field on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.